1. A second course in formal languages and automata theory
پدیدآورنده : Shallit, Jeffrey Outlaw.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Formal languages,، Machine theory
رده :
QA
267
.
3
.
S53
2. A second course in formal languages and automata theory
پدیدآورنده : / Jeffrey Shallit
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Formal languages,Machine theory
رده :
E-BOOK
3. Algorithmic number theory
پدیدآورنده : / Eric Bach and Jeffrey Shallit
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Number theory- Data processing,Algorithms
رده :
QA241
.
B1085
1996
4. Automatic sequences
پدیدآورنده : / Jean-Paul Allouche, Jeffrey Shallit
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Sequential machine theory,Sequences (Mathematics)
رده :
QA267
.
5
.
S4
,
A55
2003
5. Automatic sequences
پدیدآورنده : / Jean-Paul Allouche, Jeffrey Shallit
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Sequential machine theory,Sequences (Mathematics)
رده :
QA267
.
5
.
S4
,
A55
2003
6. Automatic sequences :theory, applications, generalizations]CD[
پدیدآورنده : Allouche, Jean-Paul, Jean-Paul Allouche, Jeffrey Shallit
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Sequential machine theory,، Sequences )Mathematics(
رده :
CD
1742-17
7. Descriptional Complexity of Formal Systems
پدیدآورنده : \ Jeffrey Shallit , Alexander Okhotin (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Formal methods (Computer science) -- Congresses.,Formal languages -- Congresses.,روش‌های صوری (کامپیوتر) -- کنگره ها ,زبانهای صوری -- کنگره ها
رده :
QA
76
.
9
.
D4
2015
E-Book
,
8. Descriptional Complexity of Formal Systems
پدیدآورنده : / Jeffrey Shallit, Alexander Okhotin
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE
رده :
E-BOOK
